Libro
|
Problemas, lenguajes y algoritmos
|
Sagastume, Marta
|
1a ed.
(1986)
|
Domicilio
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2015)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2012)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2014)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2018)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2019)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas Avanzada:
|
Rosenfeld, Ricardo Fabián
|
(2014)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas Avanzada
|
Rosenfeld, Ricardo Fabián
|
(2019)
|
|
----------
|
Libro
|
The nature of computation:
|
Moore, Cristopher
|
1st ed., repr.
(2011, repr. 2018 with corrections)
|
Domicilio
|
----------
|
Libro
|
Theories of abstract automata
|
Arbib, Michael A.
|
1st ed.
(1969)
|
Domicilio
|
----------
|